1
Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1997
భాష:
english
ఫైల్:
PDF, 9.74 MB
5.0 / 5.0
english, 1997
2
Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 8.60 MB
0 / 0
english, 2004
5
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2012
భాష:
english
ఫైల్:
PDF, 2.72 MB
0 / 0
english, 2012
7
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2012
భాష:
english
ఫైల్:
PDF, 4.83 MB
0 / 0
english, 2012
8
Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1997
భాష:
english
ఫైల్:
PDF, 7.24 MB
5.0 / 5.0
english, 1997
9
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1998
భాష:
english
ఫైల్:
PDF, 7.17 MB
0 / 0
english, 1998
10
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2017
భాష:
english
ఫైల్:
PDF, 4.10 MB
0 / 0
english, 2017
11
Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1995
భాష:
english
ఫైల్:
PDF, 9.29 MB
0 / 0
english, 1995
12
Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1984
భాష:
english
ఫైల్:
PDF, 6.32 MB
0 / 0
english, 1984
13
Steady-State Methods for Simulating Analog and Microwave Circuits

Steady-State Methods for Simulating Analog and Microwave Circuits

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1990
భాష:
english
ఫైల్:
PDF, 5.02 MB
0 / 0
english, 1990
15
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2001
భాష:
english
ఫైల్:
PDF, 3.23 MB
0 / 0
english, 2001
16
Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
1986
భాష:
english
ఫైల్:
PDF, 7.26 MB
0 / 0
english, 1986
17
Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2000
భాష:
english
ఫైల్:
PDF, 8.42 MB
0 / 0
english, 2000
18
Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2001
భాష:
english
ఫైల్:
PDF, 6.52 MB
0 / 0
english, 2001
20
Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto Sangiovanni-Vincentelli (auth.)
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 9.24 MB
0 / 0
english, 2003